3.20/3.28	unsat
