8.36/10.21	unsat
