13.67/14.41	unsat
