47.23/47.39	unsat
