14.28/16.68	unsat
