104.54/107.58	unsat
