47.26/47.35	unsat
