106.25/108.77	unsat
