5.57/7.86	unsat
