3.28/3.39	unsat
