14.95/16.44	unsat
