107.19/110.72	unsat
