47.27/47.55	unsat
