106.20/109.39	unsat
