14.25/16.07	unsat
