94.27/94.94	unsat
