16.95/17.71	unsat
