18.95/22.02	unsat
