94.33/95.21	unsat
