10.12/12.48	unsat
