4.78/5.77	unsat
