94.17/94.22	unsat
