5.78/7.46	unsat
