5.66/6.49	unsat
