107.04/107.53	unsat
