106.79/106.97	unsat
