13.67/14.48	unsat
