14.83/28.37	unsat
