14.67/16.04	unsat
