14.67/19.31	unsat
