5.03/6.22	unsat
