106.38/107.79	unsat
