10.29/10.48	unsat
