5.94/6.49	unsat
