47.19/47.35	unsat
