94.77/95.13	unsat
