107.26/107.59	unsat
