14.95/16.68	unsat
