1.57/2.54	unsat
