17.95/19.71	unsat
