8.21/10.47	unsat
