1.57/1.68	unsat
