8.23/12.48	unsat
