14.95/16.14	unsat
