4.78/6.23	unsat
