17.94/21.95	unsat
