93.22/94.28	unsat
