94.19/94.28	unsat
