106.43/109.39	unsat
