3.20/5.02	unsat
