106.04/164.08	unsat
