5.57/5.65	unsat
