106.02/109.22	unsat
