104.47/107.46	unsat
