3.20/3.29	unsat
