5.78/6.33	unsat
