94.80/95.06	unsat
