16.95/19.51	unsat
