5.08/6.49	unsat
