107.48/107.60	unsat
