6.18/10.49	unsat
