12.05/14.48	unsat
