189.69/191.66	unsat
