4.78/6.11	unsat
