106.46/106.81	unsat
