13.67/14.44	unsat
