107.34/111.90	unsat
