107.03/107.49	unsat
