4.87/6.16	unsat
