6.27/9.49	unsat
