92.75/95.76	unsat
