14.97/16.28	unsat
