1.19/3.39	unsat
