1.57/3.39	unsat
