12.76/14.48	unsat
