106.54/108.12	unsat
