5.63/6.11	unsat
