4.87/6.44	unsat
