14.95/17.28	unsat
