3.28/5.40	unsat
