4.78/7.42	unsat
