1.39/1.57	unsat
