3.28/3.40	unsat
