5.78/5.86	unsat
