5.59/6.11	unsat
