4.78/6.40	unsat
