104.43/107.95	unsat
