4.47/6.56	unsat
