107.06/107.45	unsat
