1.39/2.39	unsat
