5.78/6.39	unsat
