4.78/4.94	unsat
