104.18/107.47	unsat
