5.64/6.11	unsat
