4.57/6.77	unsat
