17.95/19.37	unsat
