108.27/110.40	unsat
