104.78/107.49	unsat
