17.95/21.22	unsat
