4.87/6.77	unsat
