106.34/107.11	unsat
